103.02/103.29	unsat
