0.02/0.06	unsat
