17.96/19.76	unsat
