101.93/103.55	unsat
