12.06/15.82	unsat
