7.22/11.93	unsat
