102.22/108.65	unsat
