11.78/15.02	unsat
