8.70/12.06	unsat
