101.62/102.91	unsat
