103.54/103.79	unsat
