9.96/10.06	unsat
