11.68/13.02	unsat
