109.44/111.49	unsat
