484.49/487.77	unsat
