11.58/12.43	unsat
