0.01/0.06	unsat
