480.55/482.85	unsat
