101.41/102.57	unsat
