11.26/11.85	unsat
