485.66/486.51	unsat
