4.86/7.06	unsat
