0.03/0.06	unsat
