14.87/15.68	unsat
