60.83/61.06	unsat
