0.05/0.06	unsat
