13.86/16.90	unsat
