341.43/342.45	unsat
