104.22/105.65	unsat
