11.46/12.06	unsat
