11.96/12.06	unsat
