342.97/344.71	unsat
