420.08/472.00	unsat
