11.89/11.97	unsat
