0.79/2.06	unsat
