12.58/12.60	unsat
