481.67/482.00	unsat
