17.64/18.48	unsat
