11.97/12.06	unsat
