11.46/13.43	unsat
