340.63/342.36	unsat
