16.63/19.08	unsat
