12.96/15.71	unsat
