12.36/15.12	unsat
