18.16/20.31	unsat
