106.19/109.01	unsat
