484.80/485.71	unsat
