17.06/17.76	unsat
