12.00/12.12	unsat
