341.46/342.00	unsat
