18.14/20.29	unsat
