17.96/18.32	unsat
