98.19/102.84	unsat
