17.33/17.47	unsat
