109.86/109.95	unsat
