340.36/342.20	unsat
