17.77/18.24	unsat
