2.97/3.06	unsat
