19.16/21.33	unsat
