0.04/0.06	unsat
