482.63/485.00	unsat
