17.96/18.54	unsat
