11.67/11.79	unsat
