10.88/11.79	unsat
