9.97/11.03	unsat
