13.87/16.74	unsat
