15.06/16.84	unsat
