342.07/344.19	unsat
