13.86/16.89	unsat
