8.12/11.06	unsat
