12.96/15.31	unsat
