12.66/15.08	unsat
