17.33/18.54	unsat
