482.37/482.95	unsat
