18.24/20.16	unsat
