18.14/21.75	unsat
