0.79/1.06	unsat
