12.36/12.43	unsat
