11.70/11.79	unsat
