10.57/11.06	unsat
