17.87/19.76	unsat
