483.63/486.06	unsat
