5.00/6.12	unsat
