12.45/13.34	unsat
