0.00/0.06	unsat
