10.85/11.55	unsat
