16.54/17.76	unsat
