484.92/485.74	unsat
