18.14/18.21	unsat
