13.87/16.89	unsat
