101.14/103.55	unsat
