60.33/65.06	unsat
