16.96/19.33	unsat
