16.16/18.76	unsat
