16.36/18.04	unsat
